/* -*- c++ -*- */
/*
 * This file is part of the SD Project.
 *
 * Authors: Cleiber Marques da Silva <cleiber@lisha.ufsc.br>
 * 			Odilson Tadeu Valle <odilson@sj.ifsc.edu.br>
 * 
 * SD Project is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License as
 * published by the Free Software Foundation; version 2 of the License.
 */

#ifndef _CLOCK_H_
#define _CLOCK_H_

#include <vector>
#include <omnithread.h>

namespace sd {
	class clock
	{
		public:
		std::vector<int> timestamp;
		omni_mutex mutex;
		clock(int num);
		~clock(){}
		int get_timestamp(int id);
		void inc_timestamp(int id);
		void update_timestamp(int id, int value);
	};
}
#endif /* _CLOCK_H_ */
